Diagnosis of Hybrid Dynamical Systems through Hybrid Automata

Dynamical properties of hybrid automata

Hybrid automata provide a language for modeling and analyzing digital and analogue computations in real-time systems. Hybrid automata are studied here from a dynamical systems perspective. Necessary and sufficient conditions for existence and uniqueness of solutions are derived and a class of hybrid automata whose solutions depend continuously on the initial state is characterized. The results ...

Monitoring of Dynamical Systems Using Hybrid Automata with Stopwatch

Hybrid Automata-based CEGAR for Hybrid Systems

In this paper we present a framework for carrying out counterexample guided abstraction-refinement (CEGAR) for systems modelled as hybrid automata. The main difference, between our approach and previous proposals for CEGAR for hybrid automata, is that we consider the abstractions to be hybrid automata as well. We present a counterexample guided abstraction refinement method for systems modelled...

Diagnosing Hybrid Dynamical Systems

A method of diagnosing the occurrence of arbitrary events in hybrid dynamical systems is presented. The methodology unifies results from the Fault Detection and Isolation (FDI) and Diagnosis (DX) communities. In this approach the diagnosis is not performed on the output trajectory of the system but rather on the fundamental governing dynamics, thus not requiring the computation of residuals. Th...

Hybrid Dynamical Systems 1

The control of a continuous state dynamical plant is often divided into two layers. At the lower or servo layer is a controller that regulates the plant in the traditional manner. At the upper layer the supervisor issues symbolic commands. Some time after a command is issued the supervisor receives a symbolic response indicating either that the command has been executed or that an error conditi...